Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
691	On Chairing SIGPLAN June 24, 2015 It was an honor to be your chair for the last three years. Programming language research is a fascinating and lively area of intellectual investigation. New applications extend the bound Add to Reading List Source URL: janvitek.org Language: English - Date: 2015-12-20 10:11:42 Computer science Computing Software engineering Association for Computing Machinery Programming Language Design and Implementation International Conference on Functional Programming Symposium on Principles of Programming Languages SIGPLAN Federated Computing Research Conference Programming language theory SPLASH Actor model
692	CS 201, Summer 2015 — June 4th — Exam 1 Name: Questionpoints] Write statements to read two double values from the user, compute their sum, and then print the sum. Add to Reading List Source URL: ycpcs.github.io Language: English - Date: 2015-12-14 11:06:38 Software engineering Computing Computer programming Concurrent programming languages Object-oriented programming languages Extreme programming Software testing Unit testing Const Java
693	TURING AWARD LECTURE Reflections on Trusting Trust To what extent should one trust a statement that a program is free of Trojan horses? Perhaps it is more important to trust the people who wrote the software. Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2002-10-03 01:20:59 Software engineering Computer programming Computing Procedural programming languages Quine D ALGOL 68 XPL Printf format string C Pascal Name mangling
694	Microsoft Word - EP307S1_00_Introduction.doc Add to Reading List Source URL: xml.fido.gov Language: English - Date: 2005-08-05 10:48:09 Markup languages Technical communication ISO standards Computer file formats XML schema XLink XML Certification Program ISO 10303-28
695	A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:33:20 Software engineering Computer programming Software Formal methods Logic in computer science Object-oriented programming languages Object-oriented programming Software testing Postcondition Eiffel Assertion Class invariant
696	Modern Perl 4th edition chromatic Modern Perl 4th edition Add to Reading List Source URL: www.onyxneon.com Language: English - Date: 2015-11-15 17:13:07 Software engineering Computer programming Computing Procedural programming languages Cross-platform software Object-oriented programming languages High-level programming languages Subroutines Perl Scope Chromatic Autovivification
697	Trustworthy Proxies Virtualizing Objects with Invariants Tom Van Cutsem (VUB) and Mark S. Miller (Google) Context Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2013-07-03 11:36:37 Software engineering Computing Computer programming Scripting languages Proxy pattern Proxy servers JavaScript ECMAScript
698	PDF Document Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2016-04-06 11:23:44 Computing Software engineering Computer programming Concurrent programming languages Erlang Ericsson Go Riak C dynamic memory allocation CSCM Open Telecom Platform
699	The Habit Programming Language: The Revised Preliminary Report The High Assurance Systems Programming Project (Hasp) Department of Computer Science, Portland State University Portland, Oregon 97207, USA November 2010 Add to Reading List Source URL: hasp.cs.pdx.edu Language: English - Date: 2011-02-16 17:13:08 Functional languages Functional programming Data types Type theory Procedural programming languages Haskell Syntax Monad Type system ML Programming language Type class
700	CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:12:42 Theoretical computer science Automated theorem proving Logic in computer science Proof assistants Formal methods Isabelle Type theory HOL Automated reasoning Computer algebra system Vienna Development Method Software development

UPDATE